Palmskog, Karl: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Survey of Statistical Model Checking

Agha, Gul, Palmskog, Karl

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2018

Language:

english

File:

PDF, 622 KB

english, 2018

2

QED at Large: A Survey of Engineering of Formally Verified Software

Ringer, Talia, Palmskog, Karl, Sergey, Ilya, Gligoric, Milos, Tatlock, Zachary

Journal:

Foundations and Trends® in Programming Languages

Year:

2019

Language:

english

File:

PDF, 1.85 MB

english, 2019

3

[IEEE Fourth European Conference on Universal Multiservice Networks (ECUMN'07) - Toulouse, France (2007.02.14-2007.02.16)] Fourth European Conference on Universal Multiservice Networks (ECUMN'07) - Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication

Ismailov, Yuri, Palmskog, Karl, Widell, Micael, Arvidsson, Petter, Wang, Yaoshuang

Year:

2007

Language:

english

File:

PDF, 282 KB

english, 2007

4

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Location Independent Routing in Process Network Overlays

Dam, Mads, Palmskog, Karl

Year:

2014

Language:

english

File:

PDF, 272 KB

english, 2014

5

[IEEE ICC 2012 - 2012 IEEE International Conference on Communications - Ottawa, ON, Canada (2012.06.10-2012.06.15)] 2012 IEEE International Conference on Communications (ICC) - Secure distributed top-k aggregation

Jonsson, Kristjan V., Palmskog, Karl, Vigfusson, Ymir

Year:

2012

Language:

english

File:

PDF, 281 KB

english, 2012

6

Location-independent routing in process network overlays

Dam, Mads, Palmskog, Karl

Journal:

Service Oriented Computing and Applications

Year:

2015

Language:

english

File:

PDF, 2.13 MB

english, 2015

7

[ACM Press the 2013 workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 - Efficient and fully abstract routing of futures in object network overlays

Dam, Mads, Palmskog, Karl

Year:

2013

Language:

english

File:

PDF, 566 KB

english, 2013

8

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - ICoq: Regression proof selection for large-scale verification projects

Celik, Ahmet, Palmskog, Karl, Gligoric, Milos

Year:

2017

Language:

english

File:

PDF, 319 KB

english, 2017

9

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - A regression proof selection tool for coq

Celik, Ahmet, Palmskog, Karl, Gligoric, Milos

Year:

2018

Language:

english

File:

PDF, 123 KB

english, 2018

10

[ACM Press the 27th ACM SIGSOFT International Symposium - Amsterdam, Netherlands (2018.07.16-2018.07.21)] Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018 - piCoq: parallel regression proving for large-scale verification projects

Palmskog, Karl, Celik, Ahmet, Gligoric, Milos

Year:

2018

Language:

english

File:

PDF, 911 KB

english, 2018

11

[IEEE 2019 Formal Methods in Computer Aided Design (FMCAD) - San Jose, CA, USA (2019.10.22-2019.10.25)] 2019 Formal Methods in Computer Aided Design (FMCAD) - Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity

Kalim, Faria, Palmskog, Karl, Mehar, Jayasi, Murali, Adithya, Gupta, Indranil, Madhusudan, P.

Year:

2019

Language:

english

File:

PDF, 1.10 MB

english, 2019

12

[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Mutation Analysis for Coq

Celik, Ahmet, Palmskog, Karl, Parovic, Marinela, Jesus Gallego Arias, Emilio, Gligoric, Milos

Year:

2019

File:

PDF, 210 KB

2019